Positivstellensatz for semi-algebraic sets in real closed valued fields
نویسندگان
چکیده
منابع مشابه
Semi-algebraic neighborhoods of closed semi-algebraic sets
— Given a closed (not necessarly compact) semi-algebraic set X in Rn, we construct a non-negative semi-algebraic C2 function f such that X=f−1(0) and such that for δ > 0 sufficiently small, the inclusion of X in f−1([0, δ]) is a retraction. As a corollary, we obtain several formulas for the Euler characteristic of X. Résumé. — Étant donné un ensemble semi-algébrique fermé (non nécessairement co...
متن کاملImaginaries in Real Closed Valued Fields II
The paper shows elimination of imaginaries for real closed valued fields to the geometric sorts which were introduced in the [6]. We also show that this result is in some sense optimal.
متن کاملImaginaries in Real Closed Valued Fields I
We investigate the embeddings of the value group and residue field of a real closed valued field A in Aeq via quantifier elimination in a three sorted language. We classify the one types of field elements in a real closed valued field. Finally, we investigate some of the linear structure in Aeq induced by the valuation ring V and introduce the geometric sorts. In a subsequent paper we show that...
متن کاملA Gauss-Bonnet formula for closed semi-algebraic sets
We prove a Gauss-Bonnet formula for closed semi-algebraic sets.
متن کاملReal Homotopy Theory of Semi-algebraic Sets
We complete the details of a theory outlined by Kontsevich and Soibelman that associates to a semi-algebraic set a certain graded commutative differential algebra of “semi-algebraic differential forms” in a functorial way. This algebra encodes the real homotopy type of the semialgebraic set in the spirit of the DeRham algebra of differential forms on a smooth manifold. Its development is needed...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2015
ISSN: 0002-9939,1088-6826
DOI: 10.1090/proc/12595